Stability and computability in coherent domains
نویسندگان
چکیده
منابع مشابه
stability and attraction domains of traffic equilibria in day-to-day dynamical system formulation
در این پژوهش مسئله واگذاری ترافیک را از دید سیستم های دینامیکی فرمول بندی می کنیم.فرض کرده ایم که همه فاکتورهای وابسته در طول زمان ثابت باشند و تعادل کاربر را از طریق فرایند منظم روزبه روز پیگیری کنیم.دینامیک ترافیک توسط یک نگاشت بازگشتی نشان داده می شود که تکامل سیستم در طول زمان را نشان می دهد.پایداری تعادل و دامنه جذب را توسط مطالعه ویژگی های توپولوژیکی تکامل سیستم تجزیه و تحلیل می کنیم.پاید...
assessing political stability and instability in central asia and caucasus; case study, azerbaijan and kyrgyzstan
منطقه ی آسیای مرکزی وقفقاز به عنوان منطقه ای تاریخی و به دلیل دارا بودن ذخایر عظیم هیدرو کربنی از اهمیت ویژه ای برخوردار است. کشورهای این منطقه از عوامل عمده ی بی ثباتی نظیر عوامل جغرافیایی، اقتصادی، امنیتی، اجتماعی و سیاسی رنج می برند. پس از فروپاشی اتحاد جماهیر شوروی کشورهای منطقه از نعمت استقلال ناخواسته ای برخوردار شدند که مشکلات فوق را برای آن ها چندین برابر می کرد. در این روند برخی از این...
15 صفحه اولSemilattices, Domains, and Computability (Invited Talk)
As everyone knows, one popular notion of Scott domain is defined as a bounded complete algebraic cpo. These are closely related to algebraic lattices: (i) A Scott domain becomes an algebraic lattice with the adjunction of an (isolated) top element. (ii) Every non-empty Scott-closed subset of an algebraic lattice is a Scott domain. Moreover, the isolated (= compact) elements of an algebraic latt...
متن کاملClausal Logic and Logic Programming in Coherent Domains
Synopsis. We introduce a domain-theoretic foundation for disjunctive logic programming. This foundation is built on clausal logic, a representation of the Smyth powerdomain of a coherent algebraic dcpo. The robustness of this approach comes from the agreement bewteen the declarative semantics and the xed-point semantics, as well as the agreement between the xed-point semantics and the semantics...
متن کاملHyperholomorpic connections on coherent sheaves and stability
Abstract Let M be a hyperkähler manifold, and F a torsion-free and reflexive coherent sheaf on M . Assume that F (outside of singularities) admits a connection ∇ with a curvature Θ which is invariant under the standard SU(2)-action on 2-forms. If Θ is square-integrable, such sheaf is called hyperholomorphic. Hyperholomorphic sheaves were studied at great length in [V2]. Such sheaves are stable ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information and Computation
سال: 1990
ISSN: 0890-5401
DOI: 10.1016/0890-5401(90)90050-r